Everyday creative activity as a path to flourishing

System Design as a Creative Mathematical Activity

This paper contributes to the understanding of rational systems design and verification. We give evidence that the rôle of mathematics in development and verification is not limited to useful calculations: Ideally, designing is a creative mathematical activity, which comprises finding a theorem, if necessary strengthening its assumptions until it can be proven. A canonical form of this ‘verific...

Tawwaj, from flourishing to decline

The historical city of Tawwaj, in the northern hinterland of the Persian Gulf, has long been one of Iran's most recognized cities. The boom of this city was during the period of Buyids, but then it quickly deteriorated. There is now nothing left of this town except a name in ancient texts and even the ruins of the city are unknown. This article examines the birth and continuity of this city and...

Human Flourishing and Autonomy as Passive

Most prominent accounts of autonomy are active accounts, which means they hold that an agent can be autonomous with respect to a given action only if that agent has appropriately sanctioned that action. Active accounts, however, are vulnerable to the regress problem, since it seems that the required sanctioning actions are themselves just actions that must be sanctioned. Passive accounts hope t...

Drug Switching, a Creative Approach to Leukemia Therapy

Path planning for everyday robotics with SANDROS

We discuss the integration of the SANDROS path planner into a general robot simulation and control package with the inclusion of a fast geometry engine for distance calculations. This creates a single system that allows the path to be computed, simulated, and then executed on the physical robot, The architecture and usage procedures are presented. Also, we present examples of its usage in typic...